1. A course on mathematical logic
پدیدآورنده : Srivastava, Shashi Mohan
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
S684C6
2. A logical journey : from Godel to philosophy
پدیدآورنده : Wang, Hao, 1291-5991
کتابخانه: (طهران)
موضوع : ، Godel, Kurt Friedrich, 6091-8791,Biography ، Logicians -- United States,Biography ، Logicians -- Austria
رده :
QA
29
.
G58W32
3. A to Z of mathematicians /
پدیدآورنده : Tucker McElroy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematicians, Biography.,Biografische woordenboeken (vorm),Mathematicians, Biography.,Mathematicians.,Mathématiciens-- Biographies.,Mathematiker,Wiskundigen.
رده :
QA28
.
M395
2005
4. After Godel : Platonism and rationalism in mathematics and logic
پدیدآورنده : Tieszen, Richard L.
کتابخانه: (طهران)
موضوع : ، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA
9
.
T53A34
5. An introduction to Godel's Theorems
پدیدآورنده : Smith, Peter, 5391-
کتابخانه: (طهران)
موضوع : ، Godel numbers,، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA
9
.
65
.
S64I5
6. Collected works
پدیدآورنده : Godel, Kurt Friedrich, 6091-8791
کتابخانه: (طهران)
موضوع : Collected works ، Logic, Symbolic and mathematical
رده :
QA
9
.
G5313
7. From Trotsky to Godel : the life of Jean van Heijenoort
پدیدآورنده : Feferman, Anita Burdman, 7291-
کتابخانه: (طهران)
موضوع : ، Van Heijenoort, Jean, 2191-6891,، Trotsky, Leon, 9781-0491 -- Friends and associates,، Godel, Kurt Friedrich, 6091-8791,Biography ، Logicians -- France
رده :
B
2430
.
V36F4
2001
8. Godel, Escher, Bach : an eternal golden braid
پدیدآورنده : Hofstadter, Douglas R., 5491-
کتابخانه: (طهران)
موضوع : ، Metamathematics,، Symmetry,، Artificial intelligence,، Bach, Johann Sebastian, 5861-0571,، Escher, Maurits Cornelis, 8981-2791,، Godel, Kurt Friedrich, 6091-8791
رده :
QA
9
.
8
.
H63G6
1999
9. Godel : a life of logic
پدیدآورنده : Casti, John L., 3491-
کتابخانه: (طهران)
موضوع : ، Godel, Kurt Friedrich, 6091-8791,Biography ، Logicians -- United States,Biography ، Logicians -- Austria
رده :
QA
29
.
G58C3
10. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1L44
Vol
.
6
11. Godel's disjunction : the scope and limits of mathematical knowledge
پدیدآورنده : Horsten, Leon, 6691-
کتابخانه: (طهران)
موضوع : ، Godel, Kurt Friedrich, 6091-8791,، Mathematics -- Philosophy
رده :
QA
8
.
4
.
H67G6
12. Interpreting Godel : critical essays
پدیدآورنده : edited by Juliette Kennedy
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Godel, Kurt Friedrich, 6091-8791,، Mathematics -- Philosophy
رده :
QA
9
.
2
.
I586
13. Kurt Godel and the foundations of mathematics : horizons of truth
پدیدآورنده : edited by Matthias Baaz ... ]et al.[
کتابخانه: (طهران)
موضوع : ، Godel's theorem,Philosophy ، Mathematics,، Godel, Kurt Friedrich, 6091-8791
رده :
QA
9
.
65
.
K87
14. Kurt Godel : essays for his centennial
پدیدآورنده : edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
33
15. Logical dilemmas : the life and work of Kurt Godel
پدیدآورنده : Dawson, Jr., John W.
کتابخانه: (طهران)
موضوع : ، Godel, Kurt Friedrich, 6091-8791,Biography ، Logicians -- United States,Biography ، Logicians -- Austria,Biography ، Mathematicians -- United States,Biography ، Mathematicians -- Austria
رده :
QA
29
.
G58D3
16. Memoirs of a proof theorist : Godel and other logicians
پدیدآورنده : Takeuti, Gaisi, 6291-
کتابخانه: (طهران)
موضوع : ، Proof theory,، Godel, Kurt Friedrich, 6091-8791
رده :
QA
9
.
54
.
T25G4313
2003
17. On formally undecidable propositions of principia mathematica and related systems
پدیدآورنده : Godel, Kurt Friedrich, 6091-8791
کتابخانه: (طهران)
موضوع : ، Godel's theorem
رده :
QA
9
.
65
.
G63U213
18. Philosophy :
پدیدآورنده : Philip Stokes.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Philosophers -- Biography -- Encyclopedias.,Philosophers.,Philosophy.
رده :
BD21
.
P455
2007
19. Reflections on Kurt Godel
پدیدآورنده : Wang, Hao, 1291-5991
کتابخانه: (طهران)
موضوع : ، Godel, Kurt Friedrich, 6091-8791,Biography ، Logicians -- United States,Biography ، Logicians -- Austria
رده :
QA
29
.
G58W33
20. There's something about Godel : the complete guide to the incompleteness theorem
پدیدآورنده : Berto, Francesco
کتابخانه: (طهران)
موضوع : ، Incompleteness theorems,، Godel's theorem,، Mathematics -- Philosophy,، Godel, Kurt Friedrich, 6091-8791
رده :
QA
9
.
54
.
B47T813
